Infinitary Noetherian constructions II. Transfinite words and the regular subword topology
نویسندگان
چکیده
We show that the space of transfinite words, is, ordinal-indexed over a Noetherian is also Noetherian, under natural topology which we call regular subword topology. characterize its sobrification and specialization ordering
منابع مشابه
Safra-like constructions for regular cost functions over finite words
Regular cost functions have been introduced recently as an extension of the notion of regular languages with counting capabilities, which retains strong closure, equivalence, and decidability properties. Cost functions are functions ranging over N∪{∞}, and considered modulo an equivalence which preserves the existence of bounds over each subset of the domain. A central result in the theory of r...
متن کاملTransfinite Constructions in Classical Type Theory
We study a transfinite construction we call tower construction in classical type theory. The construction is inductive and applies to partially ordered types. It yields the set of all points reachable from a starting point with an increasing successor function and a family of admissible suprema. Based on the construction, we obtain type-theoretic versions of the theorems of Zermelo (well-orderi...
متن کاملSubword Metrics for Infinite Words
The space of one-sided infinite words plays a crucial rôle in several parts of Theoretical Computer Science. Usually, it is convenient to regard this space as a metric space, the Cantor-space. It turned out that for several purposes topologies other than the one of the Cantor-space are useful, e.g. for studying fragments of first-order logic over infinite words or for a topological characterisa...
متن کاملFixed Subrings of Noetherian Graded Regular Rings
Rings of invariants can have nice homological properties even if they do not have finite global dimension. Watanabe’s Theorem [W] gives conditions when the fixed subring of a commutative ring under the action of a finite group is a Gorenstein ring. The Gorenstein condition was extended to noncommutative rings by a condition explored by Idun Reiten in the 1970s, called k-Gorenstein in [FGR]. Thi...
متن کاملSemi-regular masas of transfinite length
In 1965 Tauer produced a countably infinite family of semi-regular masas in the hyperfinite II1 factor, no pair of which are conjugate by an automorphism. This was achieved by iterating the process of passing to the algebra generated by the normalisers and, for each n ∈ N, finding masas for which this procedure terminates at the n-th stage. Such masas are said to have length n. In this paper we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloquium Mathematicum
سال: 2023
ISSN: ['0010-1354', '1730-6302']
DOI: https://doi.org/10.4064/cm8793-3-2023